141. The Finite Volume Method in Computational Fluid Dynamics :
المؤلف: by F. Moukalled, L. Mangani, M. Darwish.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Engineering.,Hydraulic engineering.,Computer science.,Engineering.,Hydraulic engineering.
رده :
TA357-359
142. The Laboratory approach to teaching calculus
المؤلف: / editors L. Carl Leinbach ... [et al]
المکتبة: مكتبات الكلية التقنية 1 بجامعة طهران (طهران)
موضوع: Calculus - Computer programs
رده :
QA
303
.
3
.
L33
1991
143. The Turing omnibus :
المؤلف: A.K. Dewdney.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computers.,Electronic data processing.,Computers.,Computers.,Electronic data processing.,Informatica.,Informatik,Informatique.,Ordinateur.,Toepassingen.
رده :
QA76
.
D45
1989
144. The finite volume method in computational fluid dynamics :
المؤلف: F. Moukalled, L. Mangani, M. Darwish.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Finite volume method.,Computers-- Computer Science.,Finite volume method.,Fluid mechanics.,Mathematical physics.,Maths for scientists.,Mechanics of fluids.,Science-- Mathematical Physics.,Science-- Mechanics-- Dynamics-- Fluid Dynamics.,Technology & Engineering-- Mechanical.
رده :
QA911
145. The message is murder :
المؤلف: Jonathan Beller.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Capitalism-- Social aspects.,Digital media-- Social aspects.,Mass media-- Social aspects.,Violence in mass media.,Capitalism-- Social aspects.,COMPUTERS-- Computerized Home & Entertainment.,Digital media-- Social aspects.,Mass media-- Social aspects.,Media studies.,Society and culture : general.,Society and social sciences Society and social sciences.,Violence in mass media.
رده :
JA75
.
7
146. The (new) Turing omnibus :
المؤلف: A.K. Dewdney.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computers.,Electronic data processing.,Automates mathématiques, Théorie des.,Informatique.,Ordinateurs.,Computers.,Electronic data processing.,Processamento eletronico de dados.
رده :
QA76
.
D448
1993
147. The symbolic computation of integrability structures for partial differential equations /
المؤلف: Joseph Krasil'shchik, Alexander Verbovetsky, Raffaele Vitolo.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Differential equations, Partial.,Geometry, Differential.,Logic, Symbolic and mathematical.,Differential calculus & equations.,Differential equations, Partial.,Geometry, Differential.,Logic, Symbolic and mathematical.,MATHEMATICS-- Calculus.,MATHEMATICS-- Mathematical Analysis.,Maths for computer scientists.
رده :
QA377
148. Theoretical aspects of computing -- ICTAC 2018 :
المؤلف: Bernd Fischer, Tarmo Uustalu (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science, Congresses.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computer programming / software development.,Computer science.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
L63
149. Theoretical aspects of computing -- ICTAC 2013 :
المؤلف: Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.)
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer programming, Congresses,Computer science-- Mathematics, Congresses
رده :
QA76
.
9
.
M35
150. Theory and Practice of Parallel Programming :
المؤلف: edited by Takayasu Ito, Akinori Yonezawa.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Computer system failures.,Microprocessors.
رده :
TK7895
.
M5
E358
1995
151. Tools and algorithms for the construction and analysis of systems :
المؤلف: Tiziana Margaria, Bernhard Steffen, (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer software -- Development -- Congresses.,Electronic data processing -- Distributed processing -- Congresses.,System design -- Congresses.
152. Type systems for distributed programs :
المؤلف: Ornela Dardha
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer software-- Verification,Electronic data processing-- Distributed processing,Programming languages (Electronic computers)
رده :
QA76
.
76
.
V47
153. Uncertainty and intelligent information systems /
المؤلف: editors, Bernadette Bouchon-Meunier [and others].
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Expert systems (Computer science), Congresses.,Uncertainty (Information theory), Congresses.,COMPUTERS-- Expert Systems.,Expert systems (Computer science),Expertensystem,Kongress,Uncertainty (Information theory),Unsicherheit
رده :
QA76
.
76
.
E95
I575
2006eb
154. Veracity of big data :
المؤلف: Vishnu Pendyala.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer algorithms.,Data editing.,Data integrity.,Databases-- Evaluation.,Verification (Logic)-- Computer programs.,Artificial intelligence.,Computer algorithms.,COMPUTERS-- General.,Data editing.,Data integrity.,Databases-- Evaluation.,Databases.
رده :
QA76
.
9
.
A43
155. Verification, Model Checking, and Abstract Interpretation :
المؤلف: edited by Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer Communication Networks.,Computer science.,Software engineering.
رده :
QA76
.
76
.
V47
E358
2013
156. Visual calculus
المؤلف: Schneider, David I
المکتبة: (خراسان الجنوبیة)
موضوع: ، Calculus - computer programs
رده :
QA
303
.
S35
V5
